501. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M378
1988
502. Mathematical foundations of programming semantics :
Author: M. Main, A. Melton, M. Mislove ... [et al.], eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
Classification :
QA76
.
7
M535
1990
503. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author: M. Main...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
442
504. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
Classification :
QA
76
.
7
.
M38
1990
505. Mathematical foundations of software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- mathematics--congresses,، Trees)Graph theory(--congresseses,، Algebra--Congresses,، Programming)Electronic computers(--Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
1
506. Mathematical knowledge management
Author: / Andrea Asperti, Bruno Buchberger, James H. Davenport (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mathematics--Data processing--Congresses,Information storage and retrieval systems--Mathematics--Congresses,Automatic theorem proving--Congresses
Classification :
QA
,
76
.
95
,.
I565
,
2003
507. Mathematical knowledge management :Second International Conference MKM 2003, Bertinoro, Italy, February 16-18, 2003, proceedings
Author: Andrea Asperti, Bruno Buchberger, James H. Davenport )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2594
508. Mathematical knowledge management : Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004 : proceedings
Author: Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Mathematics,Mathematics -- Congresses ، Information storage and retrieval systems,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
3119
509. Mathematical modelling, applied analysis and computation :
Author: Jagdev Singh, Devendra Kumar, Hemen Dutta, Dumitru Baleanu, Sunil Dutt Purohit, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical models, Congresses.,Mathematical models.
Classification :
QA401
.
I36
2019eb
510. Mathematical morphology and its applications to signal and image processing :
Author: Bernhard Burgeth, Andreas Kleefeld, Benoît Naegel, Nicolas Passat, Benjamin Perret (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Image processing-- Mathematics, Congresses.,Signal processing-- Mathematics, Congresses.,Image processing-- Mathematics.,Signal processing-- Mathematics.
Classification :
TA1637
.
I58
2019eb
511. Mathematics and Computing
Author: \ [Edited by] Debasis Giri...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer science -- Mathematics -- Congresses. ,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات -- کنگرهها,علوم کامپیوتر -- ریاضیات
Classification :
E-Book
,
512. Mathematics and computation in music :
Author: Mariana Montiel, Francisco Gomez-Martin, Octavio A. Agustín-Aquino (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Music-- Data processing, Congresses.,Music-- Mathematics, Congresses.,Music-- Data processing.,Music-- Mathematics.
Classification :
ML3800
.
M35
2019eb
513. Mathematics and computer science II : algorithms, trees, combinatorics and probabilities
Author: Brigitte Chauvin and...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Graph theory,Congresses ، Branching processes,Congresses ، Computer science -- Mathematics
Classification :
QA
164
.
M363
514. Mathematics and computer science II : algorithms, trees, combinatorics and probabilities
Author:
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Combinatorial analysis-Congresses ► Graph theory-Congresses ► Branching processes-Congresses ► Computer science-Mathematics-Congresses
Classification :
511
M426
515. Mathematics and computer science III
Author: / Michael Drmota ... [et al.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Combinatorial analysis, Congresses,Graph theory, Congresses,Branching processes, Congresses,Computer science, Mathematics, Congresses
Classification :
QA164
.
I56
2004
516. Mathematics and computer science III
Author: / Michael Drmota ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Combinatorial analysis Congresses,Graph theory Congresses,Branching processes Congresses,Computer science- Mathematics Congresses
Classification :
QA164
.
I56
2004
517. Mathematics and computer science II: algorithms, trees, combinatorics and probabilities
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Combinatorial analysis,Congresses ، Graph theory,Congresses ، Branching processes,Congresses ، Computer science-- Mathematics
Classification :
QA
164
.
I56
2002
518. Mathematics and computer science: algorithms, trees, combinatorics and probabilities
Author: Brigitte Chauvin...]et al.[
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Combinatorial analysis,Congresses ، Graph theory,Congresses ، Branching processes,Mathematics -- Congresses ، Computer science
Classification :
QA
164
.
I56
2002
519. Mathematics and computer science in medical imaging
Author: edited by Max A. Viergever, Andrew Todd-Pokropek
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Diagnostic imaging -- Digital techniques,Congresses ، Optical data processing
Classification :
RC
78
.
7
.
D53N377
1986
520. Mathematics and computer science in medical imaging
Author: edited by Max A. Viergever, Andrew Todd-Pokropek
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Diagnostic imaging - Digital techniques - Congresses , Optical data processing - Congresses , Computer graphics - Congresses , Computer science - Mathematics - Congresses
Classification :
RC
78
.
7
.
D53
N377
1986
